Book Review: A course in constructive algebra
نویسندگان
چکیده
منابع مشابه
ترجمه کتاب a course in phonetics : اثر peter ladefoged
رساله حاضر ترجمه هفت بخش اول از کتاب "درآمدی بر آواشناسی" اثر لیدفوگد می باشد. در این کتاب پس از مروری بر آواشناسی و واجشناسی، به بررسی مباحثی از قبیل : همخوانها، واکه ها، واژه، جمله، مکانیسم جریان هوای تنفسی و جایگاه و شیوه تولید پرداخته شده است .
15 صفحه اولBook review of applied medical image processing: A basic course
Correspondence: ciaccio@columbia. edu Columbia University Medical Center, Harkness Pavilion 804, 180 Fort Washington Avenue, New York NY 10032 Abstract This article is a review of the book: ‘Applied Medical Image Processing: A Basic Course’, by Wolfgang Birkfellner, which is published by CRC Press. Basic information that should be helpful in deciding whether to read the book and whether to use ...
متن کاملConstructive Algebra in Type Theory
This thesis contains four papers aiming at bridging the gap between algorithms implemented in computer algebra systems and interactive proof assistants. This is done by implementing and verifying efficient algorithms using the Coq proof assistant together with the SSReflect extension. First there is a methodology, based on refinements, for linking implementations of algorithms using rich depend...
متن کاملHow to Write a Book Review?
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره 21، دی 1401، 1006-1005 چگونه یک مروری بر کتاب بنویسیم؟ How to Write a Book Review? محسن رضائیان[1] Mohsen Rezaeian در یکی از سخن‌های سردبیری مجله دانشگاه، به توضیح انواع مقالات غیر پژوهشی (Non-research articles) پرداختیم. در همان جا توضیح دادیم که یکی از انواع مقالات غیر پژوهشی بسیار مهم که می‌تواند توسط دانشمندان نو...
متن کاملReview of the book: Introduction to Abstract Algebra
The book of Jonathan D. H. Smith, ”Introduction to Abstract Algebra” is a careful treatment of the principal topics of Abstract Algebra in 327 pages. It contains 11 chapters (318 pages) and an index of terms (9 pages). There is no bibliography. Taking a different approach from several books, it helps the reader to have a solid introduction to abstract algebra and establishes the link between it...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1989
ISSN: 0273-0979
DOI: 10.1090/s0273-0979-1989-15728-5